Với bất kỳ tập A, tập rỗng là tập con của A. ∀ A : ∅ ⊂ A {\displaystyle \forall A:\emptyset \subset A}
Với bất kỳ tập A, hợp của A với tập rỗng là A: ∀ A : A ∪ ∅ = A {\displaystyle \forall A:A\cup \emptyset =A}
Với bất kỳ tập A, giao của tập A với tập rỗng là tập rỗng: ∀ A : A ∩ ∅ = ∅ {\displaystyle \forall A:A\cap \emptyset =\emptyset }
Với bất kỳ tập A, tích Descartes của A với tập rỗng là tập rỗng: ∀ A : A × ∅ = ∅ {\displaystyle \forall A:A\times \emptyset =\emptyset }
Chỉ có một tập con duy nhất của tập rỗng là chính tập rỗng: ∀ A : A ⊆ ∅ ⇒ A = ∅ {\displaystyle \forall A:A\subseteq \emptyset \Rightarrow A=\emptyset }
Số phần tử của tập rỗng (tức là lực lượng) là không (0); nói riêng, tập rỗng là tập hợp hữu hạn: | ∅ | = 0 {\displaystyle |\emptyset |=0}
Với bất kì tính chất nào:
Luôn đúng với mọi phần tử thuộc tập rỗng (sự thật hiển nhiên)
Luôn sai với mọi phần tử thuộc tập rỗng
Ngược lại, nếu với một tính chất nào đó mà hai mệnh đề sau đúng:
